Computing with Sequences, Weak Topologies and the Axiom of Choice

نویسندگان

  • Vasco Brattka
  • Matthias Schröder
چکیده

We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines. We prove that under the Axiom of Choice non-separable normed spaces cannot even be admissibly represented with respect to any compatible topology (a compatible topology is one which makes all bounded linear functionals continuous). Surprisingly, it turns out that when one replaces the Axiom of Choice by the Axiom of Dependent Choice and the Baire Property, then some non-separable normed spaces can be represented admissibly on Turing machines with respect to the weak topology (which is just the weakest compatible topology). Thus the ability to adequately handle sequence spaces on Turing machines sensitively relies on the underlying axiomatic setting.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On characterizations of the fully rational fuzzy choice functions

In the present paper, we introduce the fuzzy Nehring axiom, fuzzy Sen axiom and weaker form of the weak fuzzycongruence axiom. We establish interrelations between these axioms and their relation with fuzzy Chernoff axiom. Weexpress full rationality of a fuzzy choice function using these axioms along with the fuzzy Chernoff axiom.

متن کامل

Cost Efficiency Evaluation via Data Envelopment Analysis Approach for Undesirable Outputs based on the Weak Disposability Axiom (Case Study: 56 Electricity Producing Thermal Power Plants in Iran)

Cost efficiency evaluation is a very important and applicable issue in Data Envelopment ‎Analysis (DEA). In this paper, the classical cost efficiency model in which all the input ‎prices are known and fixed for each decision making unit is developed via undesirable ‎outputs with the weak disposability axiom. The proposed model is a nonlinear model ‎under the variable returns to scale condition,...

متن کامل

On Generalized Injective Spaces in Generalized Topologies

In this paper, we first present a new type of the concept of open sets by expressing some properties of arbitrary mappings on a power set. With the generalization of the closure spaces in categorical topology, we introduce the generalized topological spaces and the concept of generalized continuity and become familiar with weak and strong structures for generalized topological spaces. Then, int...

متن کامل

Ordering infinite utility streams: Efficiency, continuity, and no impatience

We study two related versions of the no-impatience postulate in the context of transitive and reflexive relations on infinite utility streams which are not necessarily complete. Both are excluded by the traditional (weak) anonymity axiom. We show explicit social welfare relations satisfying Strong Pareto and the weaker version of noimpatience that are compatible with continuity in all the tradi...

متن کامل

On Tychonoff's type theorem via grills

‎Let ${X_{alpha}:alphainLambda}$ be a collection of topological spaces‎, ‎and $mathcal {G}_{alpha}$ be a grill on $X_{alpha}$ for each $alphainLambda$‎. ‎We consider Tychonoffrq{}s type Theorem for $X=prod_{alphainLambda}X_{alpha}$ via the above grills and a natural grill on $X$ ‎related to these grills, and present a simple proof to this theorem‎. ‎This immediately yields the classical theorem...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005